航天嵌入式软件数组越界缺陷特征研究

根据统计,数组越界是航天嵌入式软件开发过程中出现最多且最容易被遗漏的缺陷类型之一.目前自动化检测数组越界多基于抽象解释、符号执行、程序模型检验等方法,这些方法在误报、漏报、可扩展性等方面的表现依赖于软件及缺陷特征.分析了近三年航天嵌入式软件第三方测试中发现的94个数组越界问题,从缺陷模式和缺陷表现形式两方面分析得出10项航天嵌入式软件数组越界缺陷特征,并提出对设计具体检测方法关键的若干启示.进一步基于这些特征和启示探讨了数组越界检测算法针对中断驱动型程序的改进方向.     

导流锥结构参数对燃气弹射筒内压力冲击平滑效果影响研究

针对导流锥结构参数对内弹道流场耦合影响问题，基于动态分层动网格技术，构建了含导弹运动和二次燃烧的内弹道数值模型，并验证了模型可靠性。解耦分析了导流锥半径、高度及冲击高度对内弹道流场特性和载荷的影响。结果表明：导流锥的结构直接决定燃气飞溅现象的产生和流场结构的紊乱程度，导流锥的半径、高度和冲击高度的改变会对燃气反射点的位置、二次燃烧的区域以及剧烈程度产生影响;结构优化后的导流锥，较大程度地缓解了冲击现象，获得了较好的平滑效果，筒底压力较实验装置降低了24.5%。     

基于工厂模式的OSLC数据集成接口设计与实现

复杂软件系统往往由不同地域的研发团队采用不同的开发工具来协同完成，研发过程中存在数据难以集成的问题.基于开放式生命周期协作服务(OSLC)规范来设计软件协同开发数据接口，有利于提高软件协同开发的效率.首次结合工厂模式和OSLC规范设计并实现数据集成接口，将不同工具的数据集成抽象成统一的公共接口，从而采用统一的数据接口和规范实现不同工具的数据集成，有利于优化软件系统体系结构.以符合OSLC规范的Bugzilla缺陷管理系统和Jenkins持续集成工具的集成为例，以面向航天软件系统研发的SunwiseAEM一体化研发管理平台为载体，基于工厂模式设计并实现了符合OSLC规范的数据集成系统，实现了不同工具间的数据集成，提供了一种通用的、可扩展的数据集成方式.     

面向战略导弹的新一代惯性系统

自主式惯性制导系统是战略导弹"威慑可信、反击可靠"的保障,针对我国已装备的战略导弹惯性系统在高精度、高可靠、实战化等方面存在的不足,系统阐述了位置捷联、位置平台和速率捷联的工作特点和局限性,首次提出了一种可同时满足高精度、全姿态、小型化的新一代惯性系统——速率平台.该惯性系统既具备速率捷联系统小型化、全姿态的特点,又兼顾了位置平台系统隔离角运动的功能.针对战略级惯性系统冗余不足引起的可靠性问题,在速率平台的基础上从智能化的角度提出了具备导航级故障诊断和自主重构的新体制惯性系统,该惯性系统将首次具备了自主导航、自主控制与自主重构的能力.     

基于北斗三号的长基线共视时间比对

卫星导航共视时间比对一直是远距离时间比对的重要方法之一。使用我国最新发射的北斗三号全球导航卫星，基于中科院国家授时中心（NTSC）和捷克光电研究院（TP）各自的时间产生和保持系统，开展了中捷北斗三号长基线共视时间比对试验。本文对中捷两站各自的北斗卫星可视数及其卫星高度角情况进行了统计分析，利用Vondark滤波对时间比对结果进行了降噪处理，最后将北斗三号共视时间比对结果与北斗二号及GPS共视时间比对结果进行了比较。结果表明：北斗三号在当前全球组网阶段中捷共视可视卫星数比北斗二号还少的情况下，其共视时间比对精度达到1.16ns，较北斗二号提升约19%，与GPS更为接近。     

某机载探测系统自主回收技术的实现

针对某机载探测系统探头回收自动化程度低的问题，提出了在无需操作员干预情况下实现探头自主回收的技术方法。采用了先进的控制算法，将缆位角与探头、缆长进行结合并引入了绞车控制系统，使绞车对探头的回收速度及缆长可进行实时调整，并给出了3种不同缆位角摆动条件下缆长与探头回收速度的控制曲线关系。研发了自主回收装置，设计了能够实现自主回收功能的探头回收机构。实验验证表明：在无需人为干预的条件下，在缆位控制系统及自主回收机构的配合下，系统实现了对探头快速、安全的回收。     

高超声速飞行器再入段LQR自抗扰控制方法设计

针对高超声速飞行器(HSV)再入过程中强非线性、强耦合、气动参数变化剧烈的不确定性的特点，提出一种基于线性二次型调节器(LQR)和自抗扰控制(ADRC)的高超声速飞行器再入段的姿态控制方法。首先，建立高超声速飞行器再入段线性化模型，并采用LQR方法完成了状态反馈控制律设计。然后，结合自抗扰控制技术，设计了扩张状态观测器(ESO)对系统的模型不确定性和外部干扰进行补偿，大幅增强了系统的扰动抑制能力。最后，将得到的高超声速飞行器再入段LQR自抗扰姿态控制器(LQRADRC)应用于高超声速飞行器六自由度仿真，仿真结果表明本文所提出的控制方法能够快速、精确地跟踪角位置指令，并且对系统不确定性具有强鲁棒性。     

非线性四阶微分方程两点边值问题解的存在唯一性

讨论了非线性四阶微分方程y(4)=f(x,y,y',y',y')的两点边值问题解的存在唯一性。其中,函数f在[a,b]×R4上连续,且满足Lipschitz条件。     

加入WTO对中国航空货物运输的影响分析

针对中国加入WTO对航空货物运输的影响，从溢出效应、竞争、辅助市场的开放、市场准入、管理、WTO规则和机制6个方面进行了分析。强调要全面和发展地看待WTO给航空货物运输带来的影响，以及要更加注重掌握WTO的规则和机制，才能更好地理解WTO对航空货物运输企业经营环境和约束条件的影响。